Logic simulation - PDFSEARCH.IO - Document Search Engine

Logic simulation
Results: 497

#	Item
11	Microsoft PowerPoint - 2007_SIGCSE_InfoTraffic_Talk.ppt Add to Reading List Source URL: ruedi-arnold.com Language: English - Date: 2011-12-23 03:27:16 Network performance Throughput Simulation Truth value Logic Philosophy Cognitive science
12	Adding Storage Simulation Capacities to the SimGrid Toolkit A. Lebre, A. Legrand, F. Suter, P. Veyre Inria, Ecole des Mines de Nantes/LINA CNRS/INRIA/University of Grenoble IN2P3 Computing Center, CNRS Add to Reading List Source URL: simgrid.gforge.inria.fr Language: English - Date: 2015-09-29 06:27:30 Computing Concurrent computing Data management Parallel computing Electronic design automation Distributed computing SimGrid Big data Data grid Simulation Data-intensive computing Logic simulation
13	Journal of Experimental Psychology: Learning, Memory, and Cognition 2005, Vol. 31, No. 2, 374 –377 Copyright 2005 by the American Psychological Association/$12.00 DOI: Add to Reading List Source URL: www.stefanfrank.info Language: English - Date: 2012-06-04 17:12:23 Conditionals Philosophy Philosophy of science Belief revision Counterfactual conditional Causality Logic Simulation heuristic Epistemology
14	Bio-PEPA: A collective dynamics approach to systems biology Jane Hillston. University of Edinburgh. Introduction Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-05-11 05:00:03 Theoretical computer science Process calculi Jane Hillston PEPA Logic in computer science Metaphor Simulation Scientific modelling Stochastic Mathematical model Semantics Economic model
15	BPM Conference, Sept. 7, 2005, Nancy, France sPAC (Web Services Performance Analysis C enter): Performance analysis and estimation tool of web services Add to Reading List Source URL: bpm2005.loria.fr Language: English - Date: 2005-09-12 10:45:06 Computing Web standards Web services Electronic design automation Simulation Logic simulation Business Process Execution Language SOAP
16	Policy on Acceptable Simulation Data Archiving Simulation data is any data which is produced through numerical calculations which are based on a model. The model typically has inputs that are based on observed data, but Add to Reading List Source URL: ppi.pds.nasa.gov Language: English - Date: 2016-02-05 18:19:47 Electronic design automation Simulation Scientific modeling Electronic engineering Operations research Scientific modelling Logic simulation Epistemology Computer simulation Modeling and simulation
17	Microsoft Word - orbs7040.doc Add to Reading List Source URL: www.math.hkbu.edu.hk Language: English - Date: 2013-09-27 05:04:14 Electronic design automation Scientific modeling Simulation Electronic engineering Operations research Spreadsheet Scientific modelling Computer simulation Discrete event simulation Logic simulation
18	Improving the Speed and Scalability of Distributed Simulations of Sensor Networks Add to Reading List Source URL: mesl.ucsd.edu Language: English - Date: 2011-04-30 02:13:47 Computer networking Wireless networking Analysis of parallel algorithms Wireless sensor network Speedup Network simulation Sensor node Scalability Parallel computing Logic simulation Simulation
19	Simulation Validation for Societal Systems Alex Yahja September 2006 CMU-ISRISchool of Computer Science Add to Reading List Source URL: www.casos.cs.cmu.edu Language: English - Date: 2008-11-17 12:47:36 Simulation Information science Knowledge engineering Semantic Web Technical communication Agent-based model Scientific modelling Ontology Logic simulation Cyc Reasoning system Conceptual model
20	piotr ka z´ mierczak A G E N T S T H AT P L AY B Y T H E R U L E S Piotr Ka´zmierczak: Agents that Play by the Rules, Using Social Laws for Coordination of Multiagent Systems, © October 2014 Add to Reading List Source URL: piotrkazmierczak.com Language: English - Date: 2016-06-02 10:18:50 Artificial intelligence Multi-agent systems Formal sciences Simulation Alternating-time Temporal Logic Modal logic Norm Temporal logic Game theory International Conference on Autonomous Agents and Multiagent Systems Logic Agent-based model

UPDATE